Michael Scott

Results: 777



#Item
371Data management / Concurrency / Programming language implementation / Software transactional memory / Lock / Thread / Benchmark / Concurrency control / Transaction processing / Computing

Contention Management in Dynamic Software Transactional Memory – Errata∗ William N. Scherer III and Michael L. Scott Department of Computer Science University of Rochester Rochester, NY[removed]

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2005-04-04 22:13:28
372Data management / Concurrency / Compare-and-swap / Mutual exclusion / Non-blocking algorithm / Linked list / Queue / Ticket lock / Stack / Concurrency control / Abstract data types / Computing

Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory M ultiprocessorsl Maged M. ~ i c h a e l *and Michael L. Scott Department of Computer Science, University of Rochester, Rochester, New Y

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2004-06-20 01:33:17
373Computer programming / Abstract data types / Scheduling algorithms / Inter-process communication / Monitor / Producer-consumer problem / FIFO / Non-blocking algorithm / Semaphore / Concurrency control / Computing / Concurrent computing

research highlights DOI:[removed][removed]Scalable Synchronous Queues By William N. Scherer III, Doug Lea, and Michael L. Scott

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2009-04-23 12:16:16
374Natural gas / Coalbed methane / Encana / Piceance Basin / Hydraulic fracturing / Tight gas / Southwestern Energy / Chemistry / Shale gas / Unconventional gas / Energy / Economy of Canada

OGJ Unconventional Gas Article #6 FINAL Outlook for Unconventional Gas: The Next Decade Vello A. Kuuskraa, Michael L. Godec and Scott R. Reeves Advanced Resources International, Arlington, VA

Add to Reading List

Source URL: www.adv-res.com

Language: English - Date: 2014-07-23 17:20:51
375Computer hardware / Paging / Speculative execution / Computer data storage / Computer memory / Fasterfox / Link prefetching / Cache / Computing / Computer architecture

HotOS[removed]Aggressive Prefetching: An Idea Whose Time Has Come∗ Athanasios E. Papathanasiou and Michael L. Scott University of Rochester {papathan,scott}@cs.rochester.edu

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2011-04-01 10:23:48
376Data management / Data / Software transactional memory / Lock / Linearizability / Java EE Connector Architecture / Non-blocking algorithm / Deadlock / Concurrency control / Transaction processing / Computing

Contention Management in Dynamic Software Transactional Memory∗ William N. Scherer III and Michael L. Scott Department of Computer Science University of Rochester Rochester, NY[removed]

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2004-06-13 22:12:07
377Data / Computing / Software transactional memory / Linearizability / Schedule / Transactional memory / Database transaction / Extensible Storage Engine / Parallel computing / Transaction processing / Concurrency control / Data management

Sequential Specification of Transactional Memory Semantics ∗ Michael L. Scott Department of Computer Science University of Rochester [removed]

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2014-05-11 18:37:15
378Binary trees / Graph theory / Parallel computing / Tree traversal / Barrier / Mutual exclusion / Tree / T-tree / Busy waiting / Computing / Concurrency control / Computer programming

Tech. Rep. 429, Computer Science Dept., Univ. of Rochester. Fast, Contention-Free Combining Tree Barriers Michael L. Scott Computer Science Department

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2011-03-27 18:33:42
379Logic in computer science / Programming language semantics / Models of computation / Causality / Determinism / Philosophy of science / Operational semantics / NP / Parallel computing / Theoretical computer science / Applied mathematics / Programming language theory

2nd Wkshp. on Determinism & Correctness in Parallel Programming (WoDet), Newport Beach, CA, Mar[removed]Toward a Formal Semantic Framework for Deterministic Parallel Programming ∗ Michael L. Scott

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2011-04-01 17:50:55
380Software transactional memory / Data / Software engineering / Transactional memory / Delaunay triangulation / Linearizability / Parallel computing / Lock / Concurrency control / Transaction processing / Computing

Brief Announcement: Transactions and Privatization in Delaunay Triangulation ∗ Michael L. Scott, Michael F. Spear, Luke Dalessandro, and Virendra J. Marathe

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2007-06-08 00:06:56
UPDATE